Each of the submitted files have been annotated if appropriate.
The solution files to the exercises are structured in the following way:

.
├─── exercise 1 {a, b, c}:
│    ├─── ex1.smv
│    └─── ex1.out
├─── exercise 2 {a, b}:
│    ├─── ex2.b.smv
│    └─── ex2.b.out
├─── exercise 2 {c}:
│    ├─── ex2.c.smv
│    └─── ex2.c.out
├─── exercise 3 {a}:
│    ├─── ex3.a.smv
│    └─── ex3.a.out
├─── exercise 3 {b}:
│    ├─── ex3.b.smv
│    └─── ex3.b.out
├─── exercise 3 {b}:
│    ├─── ex3.c.smv
│    └─── ex3.c.out
└─── exercise 3 {d}:
     ├─── ex3.d.smv
     └─── ex3.d.out
